quasi metric space

拟度量空间